The introduction covers the history of the field, basic data structures, and necessary notions from the theory of computation and geometry. مقدمة تغطي تاريخ من الميدان، وهياكل البيانات الأساسية، والمفاهيم اللازمة من نظرية الحساب والهندسة.
It is a key topic of the field of computability theory within mathematical logic and the theory of computation within computer science. وهي الموضوع الرئيسي لمجال نظرية الحاسوبية في المنطق الرياضي ونظرية الحساب في علوم الحاسوب.
However, the theory of computation in the specific discipline of theoretical computer science, which evolved from Alan Turing, studies the notion of a complex system regardless of whether or not information actually exists. ومع ذلك، فنظرية الحسابِ في الانضباطِ المعيّنِ لعِلْمِ الكمبيوتر النظريِ الذي طوره آلان تورنغ والتي تدرس فكرة وجود نظام معقد بغض النظر ان كانت المعلومات موجودة اصلا.